-
面向自然语言信息处理的扩展三段论研究
¥106.6(7.2折)定价:¥148.0本书从自然语言信息处理的视角, 主要介绍和阐释了关于扩展三段论的形式化研究成果, 具体研究内容包括: 三段论片段的完全性、居间广义三段论、模态三段论、关系三段论、带有完全布尔运算的关系三段论、带有动词的扩展三段论的有效性、可靠性、完全性和计算复杂性等内容...
-
面向人工智能的命题动态逻辑及其扩展研究
¥131.0(7.8折)定价:¥168.0本书以国内外新近相关文献为基础,从人工智能的视角,围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下:第一章是导论;第二~五章是本书研究的基础;第六~九章阐释了正则命题动态逻辑的形式系统、可判定性、接近性和计算复杂性;第十章探讨了非正则命题动态逻辑;第十章介绍了动态逻辑的一些变种;第十一~十七章是命题动态逻辑的扩展系统,这些系统分别使用了程序量词、互模拟和逻辑等值程序等对命题动态逻辑进行了扩展;第十八章研究了从